1. Mathematical theory of program correctness
پدیدآورنده : Bakker, J. W. de )Jacobus Willem(, 9391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Computer programs -- Correctness,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
B335
